Non-Standard Analysis for Regularization of Geometric-Zeno Behaviour in Hybrid Systems
نویسندگان
چکیده
منابع مشابه
Analysis of Zeno Behaviors in Hybrid Systems
In this paper, we investigate conditions for existence of Zeno behaviors in hybrid systems. These are behaviors that occur in a hybrid system when the system undergoes an unbounded number of discrete transitions in a finite and bounded length of time. Zeno behavior occurs, for example, when a controller unsuccessfully attempts to satisfy an invariance specification by switching the system among...
متن کاملZeno hybrid systems
The interacting continuous and discrete dynamics in hybrid systems may lead to Zeno executions, which are solutions of the system having in"nitely many discrete transitions in "nite time. Although physical systems do not show Zeno behaviour, models of real systems may be Zeno due to modelling abstraction. It is hard to analyse such models with the existing theory. Since abstraction is an import...
متن کاملNon-standard semantics of hybrid systems modelers
Hybrid system modelers have become a corner stone of complex embedded system development. Embedded systems include not only control components and software, but also physical devices. In this area, Simulink is a de facto standard design framework, and Modelica a new player. However, such tools raise several issues related to the lack of reproducibility of simulations (sensitivity to simulation ...
متن کاملSufficient Conditions for Zeno Behavior in Lagrangian Hybrid Systems
This paper presents easily verifiable sufficient conditions for the existence of Zeno behavior in Lagrangian hybrid systems, i.e., hybrid systems modeling mechanical systems undergoing impacts.
متن کاملa time-series analysis of the demand for life insurance in iran
با توجه به تجزیه و تحلیل داده ها ما دریافتیم که سطح درامد و تعداد نمایندگیها باتقاضای بیمه عمر رابطه مستقیم دارند و نرخ بهره و بار تکفل با تقاضای بیمه عمر رابطه عکس دارند
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Systems
سال: 2020
ISSN: 2079-8954
DOI: 10.3390/systems8020015